#include "bit_def.h"

/*
 * Bit maskBit(Bit a);
 * Ensures only bit 0 has a non-zero value.
 * a: the bit to mask
 */
Bit maskBit(Bit a)
{
	a &= BIT0_MASK;
	return a;
}
